export {};

// 假设页面中有个 id 为 link 的 a 标签：
// <a id="link" href="http://itcast.cn/">传智播客</a>

// 我们希望通过 DOM 拿到 a 标签的 href 属性
// 但是 getElementById 返回的是 HTMLElement 类型，这个类型中没有.href 属性
// const aLink = document.getElementById('link')
// 这个时候，开发者是明确知道自己获取到的类型的
// 上面这个我知道我获取到的是 a 标签。这是我就可以强制断言他的类型
const aLink = (document.getElementById('link') as HTMLAnchorElement).href;
